This page collects material related to the article
Equality in hyperdoctrines and comprehension schema as an adjoint functor,
Proceedings of the AMS Symposium on Pure Mathematics XVII (1970), 1-14.
on hyperdoctrines and comprehension in terms of base change adjoint functors (and on the Beck-Chevalley condition).
William Lawvere, Adjointness in Foundations, Dialectica 23 (1969), 281-296 (TAC)
Joachim Lambek, The Influence of Heraclitus on Modern Mathematics, In Scientific Philosophy Today: Essays in Honor of Mario Bunge, edited by Joseph Agassi and Robert S Cohen, 111–21. Boston: D. Reidel Publishing Co. (1981)
Last revised on August 7, 2022 at 15:26:00. See the history of this page for a list of all contributions to it.